definition of compact set